Equivalence relation

Results: 323



#Item
31Symmetry / MicroTiles / Equivalence relation / Continuous function / Tessellation

DOI: j03165.x Eurographics Symposium on Geometry Processing 2012 Eitan Grinspun and Niloy Mitra (Guest Editors) Volume), Number 5

Add to Reading List

Source URL: geometry.stanford.edu

Language: English - Date: 2012-08-14 20:34:50
32Models of computation / Type theory / Formal methods / Theory of computation / Equivalence relation / Monad / Denotational semantics / Parametricity / Simply typed lambda calculus / Modal logic / Lambda calculus

Noninterference for Free ⇤ William J. Bowman Amal Ahmed Northeastern University, USA

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-08-13 12:55:46
33Mathematical proof / Mathematics / KeY / Equivalence relation / Epistemology / Knowledge

The 2007 Federated Conference on Rewriting, Deduction and Programming Paris, France June 25 – 29, 2007 PATE’07

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2007-07-11 19:10:14
34Mathematics / Mathematical logic / Data modeling / Functional dependency / Permutation / Equivalence relation / Cardinal number / Cardinality / Tuple / Subset / Structure

The VLDB Journal:103–128 DOIs00778z REGULAR PAPER Sampling from repairs of conditional functional dependency

Add to Reading List

Source URL: cs.uwaterloo.ca

Language: English - Date: 2014-05-02 10:41:42
35

Algorithmic Invariant Theory Gregor Kemper Invariant theory can be put in a very general context: If “∼” is an equivalence relation on a set X, then an invariant is a function on X which is constant on every equiva

Add to Reading List

Source URL: www.issac-conference.org

Language: English - Date: 2010-07-14 04:05:36
    36Data modeling / Theoretical computer science / Functional dependency / Equivalence relation / Cardinality / Algorithm / Cardinal number

    Sampling the Repairs of Functional Dependency Violations under Hard Constraints George Beskales Ihab F. Ilyas

    Add to Reading List

    Source URL: cs.uwaterloo.ca

    Language: English - Date: 2010-07-15 11:33:34
    37Algebra / Abstract algebra / Mathematics / Semigroup theory / Algebraic structures / Permutation groups / Symmetry / Group action / Group theory / Equivalence relation / Monoid / Semigroup

    PDF Document

    Add to Reading List

    Source URL: www-users.york.ac.uk

    Language: English
    38

    Math 1120b – March 26, 2015 Homework 7 – solutions 18:1,2(i) Solution: S = R and a ∼ b ⇔ a = b or − b is an equivalence relation.

    Add to Reading List

    Source URL: gdenham.math.uwo.ca

    Language: English - Date: 2015-03-26 12:36:50
      39Set theory / Z notation / Predicate logic / Functions and mappings / S / Equivalence relation / Binary relation / Finitary relation / Zermelo–Fraenkel set theory / Mathematical logic / Mathematics / Logic

      Are Collections Sets? Karen M. Wickett, Allen H. Renear Jonathan Furner Center for Informatics Research in Science and Scholarship

      Add to Reading List

      Source URL: www.asis.org

      Language: English - Date: 2014-07-19 18:54:34
      40

      Math 205B - Topology Dr. Baez February 16, 2007 Christopher Walker ExercisePointed version.) Show that given a collection C of pointed spaces, the relation of homotopy equivalence is an equivalence relation on C.

      Add to Reading List

      Source URL: math.ucr.edu

      Language: English - Date: 2007-02-19 21:06:39
        UPDATE